<html>
<head><meta charset="utf-8"><title>upcoming design meeting 2019-10-11 · t-compiler · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/index.html">t-compiler</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html">upcoming design meeting 2019-10-11</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="177613885"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177613885" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177613885">(Oct 08 2019 at 13:32)</a>:</h4>
<p>Hey <span class="user-mention" data-user-id="116466">@Zoxc</span> , I keep forgetting to ping you about the meeting this Friday</p>



<a name="177715969"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177715969" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177715969">(Oct 09 2019 at 13:58)</a>:</h4>
<p>the reason I wanted to ping <span class="user-mention" data-user-id="116466">@Zoxc</span> is because I want to try to make a goal-oriented writeup of their internals post</p>



<a name="177716010"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177716010" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177716010">(Oct 09 2019 at 13:59)</a>:</h4>
<p>but perhaps an even more important short-term Q is: <span class="user-mention" data-user-id="116466">@Zoxc</span> , do you think you will attend the design meeting this coming Friday?</p>



<a name="177716047"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177716047" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177716047">(Oct 09 2019 at 13:59)</a>:</h4>
<p>(because if you cannot, then it might make more sense to swap in a different topic this week...)</p>



<a name="177724939"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177724939" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zoxc <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177724939">(Oct 09 2019 at 15:26)</a>:</h4>
<p>What time of day is it? I can probably attend if I'm awake =P</p>



<a name="177801026"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177801026" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177801026">(Oct 10 2019 at 11:41)</a>:</h4>
<p>the design meetings are at 16:00 CET on Fridays. (Same time as the triage meetings that are on Thursdays.)</p>



<a name="177801031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177801031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177801031">(Oct 10 2019 at 11:41)</a>:</h4>
<p><span class="user-mention" data-user-id="116466">@Zoxc</span> ^</p>



<a name="177805015"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177805015" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zoxc <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177805015">(Oct 10 2019 at 12:40)</a>:</h4>
<p>So 15:00 CET? =P</p>



<a name="177805460"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177805460" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177805460">(Oct 10 2019 at 12:44)</a>:</h4>
<p>what?</p>



<a name="177805485"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177805485" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177805485">(Oct 10 2019 at 12:44)</a>:</h4>
<p>triage meetings are at 16:00 CET, no?</p>



<a name="177805509"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177805509" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177805509">(Oct 10 2019 at 12:45)</a>:</h4>
<p>am I using the wrong acronym here?</p>



<a name="177805579"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177805579" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177805579">(Oct 10 2019 at 12:45)</a>:</h4>
<p>oh is this a CET vs CEST thing?</p>



<a name="177805594"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177805594" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177805594">(Oct 10 2019 at 12:45)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> blame Germany <span aria-label="frown" class="emoji emoji-1f641" role="img" title="frown">:frown:</span></p>



<a name="177805676"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177805676" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177805676">(Oct 10 2019 at 12:46)</a>:</h4>
<p>okay okay then</p>



<a name="177805683"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177805683" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177805683">(Oct 10 2019 at 12:46)</a>:</h4>
<p>the design meetings are at 16:00 UTC+2</p>



<a name="177806484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177806484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177806484">(Oct 10 2019 at 12:55)</a>:</h4>
<p>CET Is invalid in summer ;)</p>



<a name="177806591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177806591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177806591">(Oct 10 2019 at 12:56)</a>:</h4>
<p>I didn't realize it was still summer</p>



<a name="177806604"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177806604" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177806604">(Oct 10 2019 at 12:56)</a>:</h4>
<p>(its too cold outside for it to be summer)</p>



<a name="177814230"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177814230" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177814230">(Oct 10 2019 at 14:19)</a>:</h4>
<p>Just to put this note here:</p>
<p>I think it might be reasonable for tomorrow's meeting to discuss PR <a href="https://github.com/rust-lang/rust/issues/62038" target="_blank" title="https://github.com/rust-lang/rust/issues/62038">#62038</a>. <span class="user-mention" data-user-id="116466">@Zoxc</span> prepared a <a href="https://github.com/rust-lang/rust/pull/62038#issuecomment-540508308" target="_blank" title="https://github.com/rust-lang/rust/pull/62038#issuecomment-540508308">summary</a> of the PR here. Ideally we'd also touch on the larger plans reflected in <a href="https://github.com/rust-lang/rust/issues/60035" target="_blank" title="https://github.com/rust-lang/rust/issues/60035">#60035</a>.</p>



<a name="177819480"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177819480" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mw <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177819480">(Oct 10 2019 at 15:09)</a>:</h4>
<p>I'd be fine with either topic but I'd like to know in advance so I can prepare a bit</p>



<a name="177822406"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177822406" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177822406">(Oct 10 2019 at 15:38)</a>:</h4>
<p>Agreed, I'd like to spend some time reading the PR / that summary, if that's what we will talk about</p>



<a name="177822413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177822413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177822413">(Oct 10 2019 at 15:38)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> thoughts?</p>



<a name="177823008"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177823008" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177823008">(Oct 10 2019 at 15:44)</a>:</h4>
<p>I say we should switch it</p>



<a name="177823051"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177823051" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177823051">(Oct 10 2019 at 15:44)</a>:</h4>
<p>I won’t have time to do write up tonight</p>



<a name="177824531"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177824531" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zoxc <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177824531">(Oct 10 2019 at 15:59)</a>:</h4>
<p>Sounds fine</p>



<a name="177905732"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177905732" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177905732">(Oct 11 2019 at 13:16)</a>:</h4>
<p>Seems like <span class="user-mention" data-user-id="116083">@pnkfelix</span> won't make it today</p>



<a name="177905743"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177905743" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177905743">(Oct 11 2019 at 13:16)</a>:</h4>
<p>Due to personal emergency</p>



<a name="177905744"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/upcoming%20design%20meeting%202019-10-11/near/177905744" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/upcoming.20design.20meeting.202019-10-11.html#177905744">(Oct 11 2019 at 13:16)</a>:</h4>
<p>But I'll be here</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>